# isagpl
  
GNU GPL Free graph browser in java  
  
This are the java sources of the graph browser from  
the isabelle project software as GNU GPL Free software  
  
These files are found in this old archive from 1994 in isabelle-Isabelle2004_0.tar.gz  
This is the isabelle version of the release "Isabelle2004 (April 2004)" from 19 april 2004
This version is available from their git repo sourcecode as older version releases  
  
The file headers have this copyright statement  
  
Copyright   2003  TU Muenchen  
License:    GPL (GNU GENERAL PUBLIC LICENSE)  
  
This means that these sources of this specific isabelle version can be used,  
recompiled, studied, improved, shared and updated as GNU GPL Free software  
  
This is a basic graphviewer in a small amount of java which makes it extra interesting  
This is a sugiyama barycenter algorithm with a pendulum method algorithm  
The directory browser has the original unmodified java sources  
  
and it looks like this  
  
![screenshot](screenshot.png)
  
Because other isabelle versions have a different license  
only these files from this specific isabelle 2004 version  
can be used as GNU GPL Free java source code  

SPDX-License-Identifier: GPL-2.0  
License-Filename: LICENSE  
  
